1. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
2. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
3. Implementation and Application of Automata :
پدیدآورنده : edited by Michal Hospodâar, Galina Jirâaskovâa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer network architectures.,Logic design.,Software engineering.,Logic design.,Machine theory.,Robotics.,Software engineering.
رده :
QA76
.
9
.
L63
4. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
5. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
6. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
7. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
8. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
9. Recent trends in computer applications :
پدیدآورنده : editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
10. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
11. The Fallacy of Inscrutability
پدیدآورنده : Kroll, Joshua A
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
12. Towards Evolvable Hardware :
پدیدآورنده : edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
